Better you than me

You Should Better Enforce Than Verify

This tutorial deals with runtime enforcement and advocates its use as an extension of runtime verification. While research efforts in runtime verification have been mainly concerned with detection of misbehaviors and acknowledgement of desired behaviors, runtime enforcement aims mainly to circumvent misbehaviors of systems and to guarantee desired behaviors. First, we propose a comparison betwe...

You Validate Me , You like Me , You ’ Re Fun , You

The proposition that similarity breeds attraction has received longstanding theoretical and empirical support. Still, the processes that guide this effect remain relatively unexamined. In this study, with a large sample of college students, we tested four variables proposed in prior literature to theoretically account for the similarity-liking link: consensual validation, certainty of being lik...

Colorectal polyp characterization: Is my computer better than me?

You Won’t Harm Me If You Fool Me

A decision maker faces a new theory of how certain events unfold over time. The theory matters for choices she needs to make, but possibly the theory is a fabrication. We show that there is a test which is guaranteed to pass a true theory, and which is also conservative: A false theory will only pass when adopting it over the decision maker’s initial theory would not cause substantial harm; if ...

Better Than You Think: Head Gestures for Mid Air Input

This paper presents a systematical comparison of pointing gestures in the context of controlling home appliances in smart homes. The pointing gestures were conducted with head, hand, arm and a computer mouse serving as baseline. To the best of our knowledge, we are the first to report on such a systematical comparison of the mentioned modalities. Our results indicate that although being overall...